FDL - Nuprl Definition : bool-to-neg-dcdr

Nuprl Definition : bool-to-neg-dcdr

11,40

{f}

== TERMOF{bool-to-neg-dcdr-aux:ObjectId, 1:l, i:l}(A,f)

clarification:

bool-to-neg-dcdr{i:l}(A; f) == TERMOF{bool-to-neg-dcdr-aux:ObjectId, 1:l, i:l}(A,f)

Definitions f(a), bool-to-neg-dcdr-aux

FDL editor aliases bool-to-neg-dcdr

Definitions	f(a), bool-to-neg-dcdr-aux
FDL editor aliases	bool-to-neg-dcdr